color(red).
color(green).
color(blue).



diff(C1,C2) :- color(C1),color(C2),C1 \ C2.